Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
321	Multimodality from the User and System Perspectives Joëlle Coutaz, Laurence Nigay, Daniel Salber CLIPS-IMAG, BP 53, 38041 Grenoble cedex email: {Joelle.Coutaz, Laurence.Nigay, Daniel.Salber}@imag.fr Abstract Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:30 Human–computer interaction User interfaces Modality Usability Human factors User interface Mode Modal logic Usability testing Humanâ€“computer interaction User interface techniques Multimodal interaction
322	1 IMQ ---------------------- Add to Reading List Source URL: www.afscet.asso.fr Language: English - Date: 2012-03-06 03:00:30 Symmetry Group action Modal logic Weight G factor Abstract algebra Algebra Group theory
323	Epistemic Logic and its Applications: Tutorial Notes Ernest Davis∗ New York University New York, New York Leora Morgenstern Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-07-16 10:30:47 Logical syntax Model theory Philosophical logic Philosophy of language Modal logic Interpretation Epistemic modal logic First-order logic Entailment Logic Mathematical logic Propositional calculus
324	Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:49:27 Non-classical logic Model theory Philosophical logic Formal methods Transitive closure Modal logic Description logic Boolean satisfiability problem Satisfiability Logic Mathematics Mathematical logic
325	LWB 1.1 Reference Manual February 14, 1997 Contents 1 Introduction Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Non-classical logic Proof theory Modal logic Epistemology Provable Provability logic Default logic Function Mathematical logic Logic Mathematics
326	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Modal logic Logical syntax Formal languages Well-formed formula Logical connective FO Modal depth Propositional formula First-order logic Logic Mathematical logic Propositional calculus
327	Three Dimensionalism vs Four Dimensionalism Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:33 Philosophy of physics Philosophical logic Spacetime Parts of speech Philosophy of time Temporal parts Four-dimensionalism Modal logic Preposition and postposition Physics Logic Science
328	Atta Deep Bhav! http://www.ambedkar.org/adb Atta Deep Bhav! Add to Reading List Source URL: www.ambedkar.org Language: English - Date: 2007-07-11 12:20:51 Mexican cuisine Ātman Modal logic Philosophy Myrmicinae Conceptions of self Atta
329	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:27:56 Science Modal logic Abductive reasoning Inference Logic Reasoning Knowledge
330	Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-05-19 14:54:15 Burrows–Abadi–Needham logic Belief revision Epistemic modal logic Communications protocol Deniable authentication IP Cryptographic protocols Data Information

UPDATE